Nuprl Definition : scomb 13,42
S(x,y,z) == x(z,y(z)) 
latex

Upcore 2, core 2
Wellformedness Lemmasscomb wf, scomb wf
Definitionsx.A(x), f(a)
FDL editor aliasesscomb

origin